This article provides overview of the swarm intelligence and robotics fields, main characteristics of such systems provided, their advantages and disadvantages as well as differences from other multi-agent systems. Also, main fields of application for swarm systems with examples provided apart from short information on swarm optimizations. The problem of swarms’ control described and possible solutions for it such as algorithm replacement, parameters change, control through environment and leaders. Apart from that fields for possible future research noted.

The present volume is intended as an all-round introduction to constructivism. Here constructivism is to be understood in the wide sense, and covers in particular Brouwer's intuitionism, Bishop's constructivism and A.A. Markov's constructive recursive mathematics. The ending "-ism" has ideological overtones: "constructive mathematics is the (only) right mathematics"; we hasten, however, to declare that we do not subscribe to this ideology, and that we do not intend to present our material on such a basis.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

Ṣadr, Muḥammad Bāqir; Islamic philosophy; 20th century.

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

Humans are fundamentally social and tend to create emergent organizations when interacting with each other; from dyads to families, small groups, large groups, societies and civilizations. The study of the neuronal substrate of human social behavior is currently gaining momentum in the young field of social neuroscience. Hyperscanning is a neuroimaging technique by which we can study two or more brain simultaneously while participants interact with each other. The aim of this article is to discuss several factors that we deem (...) important in designing hyperscanning experiments. We first review hyperscanning studies performed by means of electroencephalography (EEG) that have been relying on a continuous interaction paradigm. Then, we provide arguments for favoring ecological paradigms, for studying the emotional component of social interactions and for performing longitudinal studies, the last two aspects being largely neglected so far in the hyperscanning literature despite their paramount importance in social sciences. Based on these premises we argue that music performance is a suitable experimental setting for hyperscanning and that for such studies EEG is an appropriate choice as neuroimaging modality. (shrink)